Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
971	LNCS[removed]BDD-Based Software Model Checking with <TEX>{CPAchecker}</TEX> Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05 Binary decision diagram Model checking Computing Applied mathematics Algorithm Abstraction And-inverter graph Rabbit Model Checker Diagrams Boolean algebra Mathematics
972	Cybernetics and Human Knowing. Vol. 20, nos. 3-4, pp[removed]Foreword: A Mathematics of Form, A Sociology of Observers Dirk Baecker1 Add to Reading List Source URL: www.chkjournal.org Language: English - Date: 2014-01-21 06:13:08 Abstraction Systems theory Semantics Boolean algebra Laws of Form Mathematical logic Cybernetics Epistemology Concept Mathematics Science Logic
973	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
974	Microsoft Word - Final Math Advising Document Fall 2011 Add to Reading List Source URL: advising.qc.cuny.edu Language: English - Date: 2011-04-01 10:58:44 Boolean algebra Propositional calculus Calculus Logical disjunction BRST quantization Abstract algebra Mathematics Mathematical logic
975	AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful! Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:48 Non-classical logic Logical connectives Propositional calculus Boolean algebra Linear logic Negation Sequent calculus Modal logic Deep inference Logic Mathematical logic Proof theory
976	Microsoft Word - ijcai05d.doc Add to Reading List Source URL: ai.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:02 O0 Control theory Disjunctive normal form Economic model Logic Science Mathematics Algebraic logic Boolean algebra Adnan Darwiche
977	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
978	Feebly secure cryptographic primitives∗ Edward A. Hirsch Olga Melanich Sergey I. Nikolenko Add to Reading List Source URL: logic.pdmi.ras.ru Language: English - Date: 2012-01-21 00:18:10 Computational complexity theory Linear algebra Matrix theory Matrix Circuit complexity Boolean circuit Circuit Invertible matrix Arithmetic circuit complexity Algebra Theoretical computer science Mathematics
979	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
980	American Computer Science League Intermediate Division 1. Boolean Algebra ( A  B) ( AB  BC ) = A B ( AB  BC ) = Add to Reading List Source URL: acsl.org - Date: 2012-07-19 10:01:01